1

Information Theory

Year:
1964
Language:
english
File:
PDF, 1.32 MB
english, 1964
2

The Present Theory of Turing Machine Computability

Year:
1959
Language:
english
File:
PDF, 1.55 MB
english, 1959
3

Gödel Numberings of Partial Recursive Functions

Year:
1958
Language:
english
File:
PDF, 1.24 MB
english, 1958
4

Certain Logical Reduction and Decision Problems

Year:
1956
Language:
english
File:
PDF, 1.58 MB
english, 1956
5

An Example in Mathematical Logic

Year:
1963
Language:
english
File:
PDF, 1.46 MB
english, 1963
6

Godel's Proof.by E. Nagel; J. R. Newman

Year:
1960
Language:
english
File:
PDF, 338 KB
english, 1960
7

The Future of the University in Mathematics Education

Year:
1975
Language:
english
File:
PDF, 996 KB
english, 1975
8

The Euclidean algorithm as a means of simplifying fractions

Year:
1970
Language:
english
File:
PDF, 833 KB
english, 1970
9

The Present Theory of Turing Machine Computability

Year:
1959
Language:
english
File:
PDF, 2.09 MB
english, 1959
11

A Note on the Law of Large Numbers

Year:
1957
Language:
english
File:
PDF, 146 KB
english, 1957
12

A General Education Course In Pure Mathematics

Year:
1956
Language:
english
File:
PDF, 675 KB
english, 1956
13

Introduction to Symbolic Logic.by A. H. Basson; C. J. O'Connor

Year:
1961
Language:
english
File:
PDF, 224 KB
english, 1961
14

Reducibility and Completeness for Sets of Integers

Year:
1959
Language:
english
File:
PDF, 574 KB
english, 1959
15

In memoriam

Year:
1976
File:
PDF, 31 KB
1976
21

Undecidability of Some Topological Theoriesby Andrzej Grzegorczyk

Year:
1953
Language:
english
File:
PDF, 350 KB
english, 1953
22

Recursively Enumerable Sets and Retracting Functionsby C. E. M. Yates

Year:
1967
Language:
english
File:
PDF, 206 KB
english, 1967
23

Three Theorems on the Degrees of Recursively Enumerable Setsby C. E. M. Yates

Year:
1967
Language:
english
File:
PDF, 348 KB
english, 1967
26

Open Sentences and the Inducation Axiomby J. R. Shoenfield

Year:
1962
Language:
english
File:
PDF, 128 KB
english, 1962
28

The Undecidability of Exponential Diophantine Equationsby Julia Robinson

Year:
1970
Language:
english
File:
PDF, 232 KB
english, 1970
30

On Provable Recursive Functions.by H. B. Enderton

Year:
1973
Language:
english
File:
PDF, 117 KB
english, 1973
31

On Universal Functions

Year:
1965
Language:
english
File:
PDF, 177 KB
english, 1965
33

Recursive Functions Over Well Ordered Partial Orderings

Year:
1959
Language:
english
File:
PDF, 222 KB
english, 1959
34

Mathematische Logikby H. Hermes; H. Scholz

Year:
1954
Language:
english
File:
PDF, 257 KB
english, 1954